linear space automation

[自] 线性空间自动机